prolog './g430b.ijs'
NB. f/\ B ---------------------------------------------------------------

eq  =: 4 : 'x= y'
lt  =: 4 : 'x< y'
le  =: 4 : 'x<:y'
gt  =: 4 : 'x> y'
ge  =: 4 : 'x>:y'
or  =: 4 : 'x+.y'
nor =: 4 : 'x+:y'
and =: 4 : 'x*.y'
nand=: 4 : 'x*:y'
ne  =: 4 : 'x~:y'

(=/\"1 -: eq/\"1) x=:0<?17 13$4 
(=/\"1 -: eq/\"1) x=:0=?17 13$4 
(=/\"1 -: eq/\"1) x=:0<?16 24$4 
(=/\"1 -: eq/\"1) x=:0=?16 24$4 

(=/\"2 -: eq/\"2) x=:0<?2 17 13$4 
(=/\"2 -: eq/\"2) x=:0=?2 17 13$4 
(=/\"2 -: eq/\"2) x=:0<?2 16 24$4 
(=/\"2 -: eq/\"2) x=:0=?2 16 24$4 

(</\"1 -: lt/\"1) x=:0<?17 13$4 
(</\"1 -: lt/\"1) x=:0=?17 13$4 
(</\"1 -: lt/\"1) x=:0<?16 24$4 
(</\"1 -: lt/\"1) x=:0=?16 24$4 

(</\"2 -: lt/\"2) x=:0<?2 17 13$4 
(</\"2 -: lt/\"2) x=:0=?2 17 13$4 
(</\"2 -: lt/\"2) x=:0<?2 16 24$4 
(</\"2 -: lt/\"2) x=:0=?2 16 24$4 

(<:/\"1 -: le/\"1) x=:0<?17 13$4 
(<:/\"1 -: le/\"1) x=:0=?17 13$4 
(<:/\"1 -: le/\"1) x=:0<?16 24$4 
(<:/\"1 -: le/\"1) x=:0=?16 24$4 

(<:/\"2 -: le/\"2) x=:0<?2 17 13$4 
(<:/\"2 -: le/\"2) x=:0=?2 17 13$4 
(<:/\"2 -: le/\"2) x=:0<?2 16 24$4 
(<:/\"2 -: le/\"2) x=:0=?2 16 24$4 

(>/\"1 -: gt/\"1) x=:0<?17 13$4 
(>/\"1 -: gt/\"1) x=:0=?17 13$4 
(>/\"1 -: gt/\"1) x=:0<?16 24$4 
(>/\"1 -: gt/\"1) x=:0=?16 24$4 

(>/\"2 -: gt/\"2) x=:0<?2 17 13$4 
(>/\"2 -: gt/\"2) x=:0=?2 17 13$4 
(>/\"2 -: gt/\"2) x=:0<?2 16 24$4 
(>/\"2 -: gt/\"2) x=:0=?2 16 24$4 

(>:/\"1 -: ge/\"1) x=:0<?17 13$4 
(>:/\"1 -: ge/\"1) x=:0=?17 13$4 
(>:/\"1 -: ge/\"1) x=:0<?16 24$4 
(>:/\"1 -: ge/\"1) x=:0=?16 24$4 

(>:/\"2 -: ge/\"2) x=:0<?2 17 13$4 
(>:/\"2 -: ge/\"2) x=:0=?2 17 13$4 
(>:/\"2 -: ge/\"2) x=:0<?2 16 24$4 
(>:/\"2 -: ge/\"2) x=:0=?2 16 24$4 

(+./\"1 -: or/\"1) x=:0<?17 13$4 
(+./\"1 -: or/\"1) x=:0=?17 13$4 
(+./\"1 -: or/\"1) x=:0<?16 24$4 
(+./\"1 -: or/\"1) x=:0=?16 24$4 

(+./\"2 -: or/\"2) x=:0<?2 17 13$4 
(+./\"2 -: or/\"2) x=:0=?2 17 13$4 
(+./\"2 -: or/\"2) x=:0<?2 16 24$4 
(+./\"2 -: or/\"2) x=:0=?2 16 24$4 

(+:/\"1 -: nor/\"1) x=:0<?17 13$4 
(+:/\"1 -: nor/\"1) x=:0=?17 13$4 
(+:/\"1 -: nor/\"1) x=:0<?16 24$4 
(+:/\"1 -: nor/\"1) x=:0=?16 24$4 

(+:/\"2 -: nor/\"2) x=:0<?2 17 13$4 
(+:/\"2 -: nor/\"2) x=:0=?2 17 13$4 
(+:/\"2 -: nor/\"2) x=:0<?2 16 24$4 
(+:/\"2 -: nor/\"2) x=:0=?2 16 24$4 

(*./\"1 -: and/\"1) x=:0<?17 13$4 
(*./\"1 -: and/\"1) x=:0=?17 13$4 
(*./\"1 -: and/\"1) x=:0<?16 24$4 
(*./\"1 -: and/\"1) x=:0=?16 24$4 

(*:/\"1 -: nand/\"1) x=:0<?17 13$4 
(*:/\"1 -: nand/\"1) x=:0=?17 13$4 
(*:/\"1 -: nand/\"1) x=:0<?16 24$4 
(*:/\"1 -: nand/\"1) x=:0=?16 24$4 

(*:/\"2 -: nand/\"2) x=:0<?2 17 13$4 
(*:/\"2 -: nand/\"2) x=:0=?2 17 13$4 
(*:/\"2 -: nand/\"2) x=:0<?2 16 24$4 
(*:/\"2 -: nand/\"2) x=:0=?2 16 24$4 

(~:/\"1 -: ne/\"1) x=:0<?17 13$4 
(~:/\"1 -: ne/\"1) x=:0=?17 13$4 
(~:/\"1 -: ne/\"1) x=:0<?16 24$4 
(~:/\"1 -: ne/\"1) x=:0=?16 24$4 

(~:/\"2 -: ne/\"2) x=:0<?2 17 13$4 
(~:/\"2 -: ne/\"2) x=:0=?2 17 13$4 
(~:/\"2 -: ne/\"2) x=:0<?2 16 24$4 
(~:/\"2 -: ne/\"2) x=:0=?2 16 24$4 




epilog''

